MARTE相关论文
The creep strength enhanced martensitic steels are key material for the main power generating units in ultra-supercritic......
Excellent mechanical properties and large magnetocaloric effect of spark plasma sintered Ni-Mn-In-Co
The Ni43.75Mn37.5In12.5Co6.25 alloy was obtained by using the spark plasma sintering (SPS) technique.The martensitic tra......
直升飞机发射的Marte MK2中程反舰导弹现正在奥托·梅拉腊公司批生产,1986年上半年该公司接受了意大利空军(代表意大利海军)的第......
The influence of carbon content on the mechanical properties of high yield strength bridge steel has been investigated.T......
Trials to develop a C-Mn-Mo-Nb type fire-resistant steel have been carried out by adopting recrystallization rolling (RC......
In order to improve the performance of the metal rollers,Mo+Y2O3 alloy powders were used to coat uniformly on the surfac......
Application of the Same-Stuff and Equal-Strength Laser Cladding Technology on the Repaired Semishrou
0Cr17Ni4Cu4Nb powder was used to investigate the same-stuff laser repair(LR)technology on the semishrounded impeller.To ......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的......
Investigations of a nanostructured FeMnSi shape memory alloy produced via severe plastic deformation
Low-cost iron-based shape memory alloys(SMAs) show great potential for engineering applications. The developments of new......
Effects of solidification parameters on microstructure and mechanical properties of continuous colum
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
Analysis of phase transformation from austenite to martensite in NiTi alloy strips under uniaxial te
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
作为一项新规范,MARTE有许多方面亟待完善.如何对依照MARTE设计的模型开展验证是待解决问题之一.对象管理组织提出用模型转换的方......
采用自主研制的超低碳氮强化药芯焊丝,利用明弧摆动堆焊技术,选择合适的堆焊工艺参数,在42CrMo板表面堆焊形成马氏体不锈钢堆焊层......
Effects of solidification parameters on microstructure and mechanical properties of continuous colum
Effects of melt temperature and casting speed on microstructure and mechanical properties of Cu-14％Al-3.8％Ni (mass fractio......
Analysis of phase transformation from austenite to martensite in NiTi alloy strips under uniaxial te
Phase transformation from austenite to martensite in NiTi alloy strips under the uniaxial tension has been observed in e......
UML被广泛应用于嵌入式实时系统等领域的建模,而嵌入式实时系统对时间响应的要求非常严格,UML缺乏对系统时间约束的描述和形式化语......
研制的新型高强韧性耐磨钢,铸态空冷及淬火回火处理均可获得细小或隐晶马氏体,少量贝氏体和残留奥氏体以及碳化物.铸态淬火回火处......
在正交实验的基础上，采用方差分析方法研究了４个工艺参数（终轧温度、终轧变形量、淬火温度、轧后缓冷时间）对单张热轧双相钢马氏体体积......
综合模块化航空电子系统（IMA）在飞机机载航空电子系统领域应用广泛,已经成为飞机机载系统的重要的系统结构和发展趋势。IMA具有高安......
模型驱动体系结构（MDA）是一种以模型为中心的软件开发框架,其本质是元建模与模型转换。提出了一种基于MDA的实时软件资源建模与模型......
UML模型一般不能直接进行性能分析,需要利用模型转换的方法将其转换成其他分析模型,比如排队论、随机进程代数或者随机Petri网等模......
2015年12月16日由上海发那科机器人有限公司FANUC、广州阿比泰克焊接技术有限公司BINZEL、普莱克斯（中国）投资有限公司PRAXAIR、捷锐......
通过对焊接接头疲劳断口的观察研究，讨论了控制接头疲劳失效的疲劳机理。实验研究了焊接接头的母材、焊缝及热影响区的微观组织形态......
首先对贝氏体扩散控制台阶长大机制进行简要评述。认为台阶的存在并不能证明扩散控制台阶长大机制，提出了贝氏体相变过程中新相沿母......
对X80级弯管热加工工艺过程中热处理工艺对材料强度、韧性的影响规律及材料组织的变化规律进行了研究.统计分析结果表明,控制能使X......
To control the reverse-transformation austenite structure through manipulation of the micro/nanometer grain structure,th......
利用自制的磁场热处理设备对中、高碳钢进行了施加磁场与不施加磁场的淬火处理，研究了奥氏体在NaCl溶液中冷却时的组织转变，观察了相......
用Ｆｏｒｍａｓｔｅｒ－Ｆ全自动膨胀信和ＴＨＥＲＭＥＣＭＡＳＴＯＲ－Ｚ热模拟试验装置测定了８６ＣｒＭｏＶ７钢未变形和奥氏体、一次变形奥氏全和二次变形奥氏体的ＣＣ一。结果表明，试验用钢只发生珠光体转......
目前综合模块化航空电子系统（IMA）在资源配置方面有非常高的安全可靠性需求，其中时间资源的可调度性配置验证也显得至关重要。本文在A......
An approach for the thermodynamics of the thermoelastic martensitic transformation in β-Cubase alloys is suggested.Driv......
...
【正】要成为一家雄心壮志的制造企业需要具备下面三个条件:高效的软件、高效的机床和高效的员工。离开其中任何一项,一个公司都不......
本文利用拉伸变形、ｘ射线衍射、光学金相和透射电子显微镜等测试方法研究了不锈铁基形状记忆合金Ｆｅ－Ｃｒ－Ｎｉ－Ｍｎ－Ｓｉ的微现行为。试验结果表明，室温拉伸......
用穆斯堡尔谱技术对ＡＦ１４１０钢在不同回火温度下超精细磁场的变化进行了研究。分析了合金元素的分布与超精细磁场的关系及对力学性能的影响......
AADL和MARTE都支持对实时嵌入式系统形式化建模的分析。利用MARTE的时间模型设备,研究MARTE是如何对实时嵌入式系统的建模和分析的......
软件测试是保证软件可靠性的一种最重要的手段，而软件自动化测试又是保证软件测试效率的一种十分有效的方式。基于模型驱动的软件测......
嵌入式软件在关键领域的广泛应用使其对可信性的需求远远高于一般软件。由于嵌入式软件在体系架构、资源限制、应用环境等方面的特......
信息物理系统(Cyber Physical System, CPS)是在环境感知的基础之上,通过3C技术(Computation, Communication, Control)的有机融合......
带数据约束的实时系统是指一种既带有时间约束又带有数据变量约束的计算系统。目前将离散数据约束和连续时间约束统一在一个模型中......
近年来，在以综合模块化航电系（integrated modular avionics，IMA）为代表的一类安全关键应用中，确保系统重配置信息的正确性成为保证系统......
